Proposition 6.2.4
Every inductive sequence of -algebras has an inductive limit , in addition, the following all hold.